1. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: (طهران)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
2. First-order logic
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: (طهران)
موضوع : ، First-order logic
رده :
QA
9
.
S574
3. Godel's incompleteness theorems
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: (طهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
S68G6
4. Les theoremes d'incompletude de Godel
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: (طهران)
موضوع : ، Godel's theorem
رده :
QA
9
.
65
.
S68G613
5. Set theory and the continuum problem
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: (طهران)
موضوع : ، Set theory,، Continuum hypothesis
رده :
QA
248
.
S6
6. Theory of formal systems /
پدیدآورنده : R.M. Smullyan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
رده :
QA248
.
5
7. To mock a mockingbird : and other logic puzzles including an amazing adventure in combinatory logic
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: (طهران)
موضوع : ، Philosophical recreations,، Puzzles,، Logic
رده :
GV
1507
.
P43S68
1985
8. What is the name of this book? : the riddle of Dracula and other logical puzzles
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: (طهران)
موضوع : ، Logic puzzles
رده :
GV
1493
.
S68W45
